Dirk Beyer: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (20)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Năm:

2018

Ngôn ngữ:

english

File:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Springer International Publishing

Dirk Beyer, Chantal Keller

Năm:

2019

Ngôn ngữ:

english

File:

PDF, 7.69 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Năm:

2019

Ngôn ngữ:

english

File:

PDF, 9.90 MB

0 / 0

english, 2019

4

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Năm:

2018

Ngôn ngữ:

english

File:

PDF, 18.46 MB

0 / 0

english, 2018

5

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Andreas Stahlbauer (auth.), Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 2.72 MB

0 / 0

english, 2013

6

Markovian Demand Inventory Models

Markovian Demand Inventory Models

Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar (auth.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 3.67 MB

0 / 0

english, 2010

7

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 8.96 MB

0 / 0

english, 2012

8

Parallel Problem Solving from Nature — PPSN VII: 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings

Parallel Problem Solving from Nature — PPSN VII: 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Dirk V. Arnold, Hans-Georg Beyer (auth.), Juan Julián Merelo Guervós, Panagiotis Adamidis, Hans-Georg Beyer, Hans-Paul Schwefel, José-Luis Fernández-Villacañas (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 13.52 MB

0 / 0

english, 2002

9

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

Năm:

2020

Ngôn ngữ:

english

File:

EPUB, 6.00 MB

0 / 0

english, 2020

10

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Hans-Jörg Beyer, Dirk Hein, Clemens Schitter, Jens Knodel, Dirk Muthig, Matthias Naab (auth.), Hong Mei (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 13.50 MB

0 / 0

english, 2008

11

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Hans-Jörg Beyer, Dirk Hein, Clemens Schitter, Jens Knodel, Dirk Muthig, Matthias Naab (auth.), Hong Mei (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 16.38 MB

0 / 0

english, 2008

12

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 11.26 MB

0 / 0

english, 2012

13

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

Năm:

2018

Ngôn ngữ:

english

File:

PDF, 20.54 MB

0 / 0

english, 2018

14

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10805)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science and General Issues Book 10805)

Springer International Publishing

Năm:

2018

Ngôn ngữ:

english

File:

EPUB, 13.86 MB

0 / 0

english, 2018

15

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Năm:

2019

Ngôn ngữ:

english

File:

PDF, 9.84 MB

0 / 0

english, 2019

16

Markovian Demand Inventory Models

Markovian Demand Inventory Models

Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar (auth.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 2.44 MB

0 / 0

english, 2010

17

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proce

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proce

Springer-Verlag Berlin Heidelberg

Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 3.91 MB

0 / 0

english, 2013

18

Parallel Problem Solving from Nature — PPSN VII: 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings

Parallel Problem Solving from Nature — PPSN VII: 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Dirk V. Arnold, Hans-Georg Beyer (auth.), Juan Julián Merelo Guervós, Panagiotis Adamidis, Hans-Georg Beyer, Hans-Paul Schwefel, José-Luis Fernández-Villacañas (eds.)

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 24.75 MB

0 / 0

english, 2002

19

New Approaches in Software Measurement: 10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings

New Approaches in Software Measurement: 10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Claus Lewerentz, Frank Simon (auth.), Reiner Dumke, Alain Abran (eds.)

Năm:

2001

Ngôn ngữ:

english

File:

PDF, 1.68 MB

0 / 0

english, 2001

20

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 8.47 MB

0 / 0

english, 2013